Crate triton_vm

Triton Virtual Machine is a Zero-Knowledge Proof System (ZKPS) for proving correct execution of programs written in Triton assembly. The proof system is a zk-STARK, which is a state-of-the-art ZKPS.

Re-exports

• pub use crate::proof::Claim;
• pub use crate::proof::Proof;
• pub use crate::stark::StarkParameters;

Modules

• arithmetic_domain
• error
• fri
• op_stack
• proof
• proof_item
• proof_stream
• shared_tests
• stark
• table
• vm

Structs

• BFieldElement
• Digest

Functions

• prove
  A convenience function for proving a Claim and the program that claim corresponds to. Method prove_from_source gives a simpler interface with less control.
• prove_from_source
  Prove correct execution of a program written in Triton assembly. This is a convenience function, abstracting away the details of the STARK construction. If you want to have more control over the STARK construction, this method can serve as a reference for how to use Triton VM.
• verify
  Verify a proof generated by prove or prove_from_source.